Skip to content

Interned Identifiers#7068

Closed
gatesn wants to merge 8 commits into
developfrom
ngates/id
Closed

Interned Identifiers#7068
gatesn wants to merge 8 commits into
developfrom
ngates/id

Conversation

@gatesn

@gatesn gatesn commented Mar 19, 2026

Copy link
Copy Markdown
Contributor

Fixes #6823

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/feature A new feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Use string interning for all ID types

2 participants